and constructive - PDFSEARCH.IO - Document Search Engine

and constructive
Results: 779

#	Item
751	i Approved for Open Publication Reference Number: 14-S-0553 Add to Reading List Source URL: www.fraw.org.uk Language: English - Date: 2014-01-12 22:40:00 Unmanned aerial vehicle Live virtual and constructive Military terminology Military Signals intelligence
752	i Approved for Open Publication Reference Number: 14-S-0553 Add to Reading List Source URL: www.globalsecurity.org Language: English Unmanned aerial vehicle Live virtual and constructive Military terminology Military Signals intelligence
753	page 1 Constructive Inversion of Energy Trajectories in Quantum Mechanics Richard L. Hall Department of Mathematics and Statistics, Add to Reading List Source URL: www.mathstat.concordia.ca Language: English - Date: 1999-06-15 16:35:12 Abstract algebra Linear algebra Calculus of variations Quantum harmonic oscillator Partial differential equations Vector space Eigenvalues and eigenvectors Identical particles Legendre transformation Algebra Mathematics Physics
754	Anjan Chakravartty SCIENCE, METAPHYSICS, AND THE PHILOSOPHY OF SCIENCE June 4 14:00 – 14:30 Add to Reading List Source URL: www.yorku.ca Language: English - Date: 2008-04-04 22:14:44 Philosophy of science Philosophical movements Empiricism Science studies Branches of philosophy Constructive empiricism Scientific realism Scientific method Bas van Fraassen Philosophy Science Knowledge
755	DOC Document Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2004-04-16 14:09:46 Knowledge Military One Semi-Automated Forces High-level architecture Simulation Scientific modelling Interoperability Conceptual interoperability Live virtual and constructive Modeling and simulation Composability Computing
756	LEGAL EPISTEMOLOGY IN THE RESTATEMENT (THIRD) OF RESTITUTION AND UNJUST ENRICHMENT LIONEL SMITH∗ Add to Reading List Source URL: www.bu.edu Language: English - Date: 2012-07-10 11:32:03 Philosophy of law Contract law Restatements of the Law United States law Unjust enrichment American Law Institute Law of the United States Trust law Constructive trust Law Equity Common law
757	Explicit Logics of Knowledge and Conservativity Melvin Fitting Lehman College, CUNY, 250 Bedford Park Boulevard West, Bronx, NY[removed] Add to Reading List Source URL: isaim2008.unl.edu Language: English - Date: 2010-08-24 11:06:50 Modal logic Fuzzy logic Philosophical logic Non-classical logic Axiom BL Epistemic modal logic S Constructive set theory Logic Mathematical logic Mathematics
758	Relating first-order set theories, toposes and categories of classes Steve Awodey Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-04-30 07:46:02 Model theory Predicate logic Z notation Sheaf theory Topos Categorical logic Axiom schema of replacement Sheaf Constructive set theory Mathematical logic Mathematics Logic
759	Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina1 , Michael Mendler2, Valeria de Paiva3 , and Eike Ritter4 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:12:09 Modal logic Philosophical logic Non-classical logic Logic in computer science Kripke semantics Intuitionistic logic General frame Natural deduction Interior algebra Logic Mathematical logic Mathematics
760	QUANTUM YANG–MILLS THEORY ARTHUR JAFFE AND EDWARD WITTEN Add to Reading List Source URL: www.claymath.org Language: English - Date: 2013-08-13 10:47:46 Yang–Mills existence and mass gap Yang–Mills theory Wightman axioms Quantum chromodynamics String theory Coupling constant Axiomatic quantum field theory Constructive quantum field theory Asymptotic freedom Physics Quantum field theory Gauge theory

UPDATE